fib(n) == if (n = 0) (n = 1) then 1 else fib(n - 1)+fib(n - 2) fi   (recursive) 

latex

Definitions	Y, x.A(x), if b then t else f fi , p q, (i = j), n+m, f(a), n - m, #$n
FDL editor aliases	fib